Z-Library پر تلاش کریں Luca Aceto:

فنڈ ریزنگ 15 ستمبر، 2024 – 1 اکتوبر، 2024 فنڈ ریزنگ کے بارے میں

علم اور ثقافت کا آپ کا گیٹ وے۔ سب کے لیے قابل رسائی۔

فنڈ ریزنگ 15 ستمبر، 2024 – 1 اکتوبر، 2024

Z-Library دنیا کی سب سے بڑی آن لائن لائبریریوں میں سے ایک ہے جس میں 17,000,000 سے زیادہ کتابیں اور 84,837,000 سے زیادہ مضامین ہے۔ ہمارا مقصد ادب کو ہر کسی کے لیے قابل رسائی بنانا ہے۔ آج (15 ستمبر، 2024) ہم نے پروجیکٹ کی دیکھ بھال اور ترقی کے لئے اضافی فنڈ ریزنگ شروع کردی ہے.

اس کے علاوہ لامحدود ڈاؤنلوڈز (ڈانیشن کرنے کے دن کے بعد 31 دن کے لیے) تمام شراکت داروں کے لیے دستیاب ہیں جو کہ فنڈ ریزنگ کی مدت کے دوران 1 اکتوبر، 2024 تک ڈانیشن کریں گے.

فنڈ ریزنگ کے بارے میںیہاں مزید پڑھیں

عطیہ کریں

کتابیں (19)
سب سے مشہور
فہرست
- فہرست
- جدول

1

Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

سال:

2007

زبان:

english

فائل:

PDF, 1.86 MB

0 / 5.0

english, 2007

2

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.)

سال:

2013

زبان:

english

فائل:

PDF, 4.32 MB

0 / 0

english, 2013

3

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Aceto, Dario Della Monica (auth.), Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.)

سال:

2013

زبان:

english

فائل:

PDF, 11.60 MB

0 / 0

english, 2013

4

Reactive systems: modelling, specification and verification

Reactive systems: modelling, specification and verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

سال:

2007

زبان:

english

فائل:

PDF, 1.97 MB

0 / 0

english, 2007

5

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Ran Canetti (auth.), Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 7.40 MB

0 / 0

english, 2008

6

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Piotr Berman, Arnab Bhattacharyya, Konstantin Makarychev, Sofya Raskhodnikova (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 8.05 MB

0 / 0

english, 2011

7

Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

سال:

2007

زبان:

english

فائل:

PDF, 1.92 MB

0 / 0

english, 2007

8

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 7.67 MB

0 / 0

english, 2011

9

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Piotr Berman, Arnab Bhattacharyya, Konstantin Makarychev, Sofya Raskhodnikova (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 9.63 MB

0 / 0

english, 2011

10

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Ran Canetti (auth.), Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 11.50 MB

0 / 0

english, 2008

11

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

سال:

2017

زبان:

english

فائل:

PDF, 22.98 MB

0 / 0

english, 2017

12

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Bruno Courcelle (auth.), Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 8.39 MB

0 / 0

english, 2008

13

Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Taolue Chen, Wan Fokkink, Sumit Nain (auth.), Luca Aceto, Anna Ingólfsdóttir (eds.)

سال:

2006

زبان:

english

فائل:

PDF, 4.60 MB

0 / 5.0

english, 2006

14

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991

Springer-Verlag Berlin Heidelberg

Luca Aceto (auth.), S. Abramsky, T. S. E. Maibaum (eds.)

سال:

1991

زبان:

english

فائل:

DJVU, 4.22 MB

0 / 0

english, 1991

15

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Bruno Courcelle (auth.), Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 26.54 MB

0 / 0

english, 2008

16

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 6.56 MB

0 / 0

english, 2011

17

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Bruno Courcelle (auth.), Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 13.63 MB

0 / 0

english, 2008

18

Mathematical Models for the Semantics of Parallelism: Advanced School Rome, Italy, September 24 – October 1, 1986 Proceedings

Mathematical Models for the Semantics of Parallelism: Advanced School Rome, Italy, September 24 – October 1, 1986 Proceedings

Springer-Verlag Berlin Heidelberg

Luca Aceto, Rocco De Nicola (auth.), Marisa Venturini Zilli (eds.)

سال:

1987

زبان:

english

فائل:

DJVU, 2.09 MB

0 / 0

english, 1987

19

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 7.13 MB

0 / 0

english, 2011